| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 558118 | ||
| Algorithmic Foundations of Data Science | Übung | 558120 | Do 12:30-14:00 IPC Hörsaal (2400|U101) (×15) | |||
| Algorithmic Foundations of Data Science | Vorlesung | 558119 | Di 16:30-18:00 AH I (2350|028) (×11) Mi 08:30-10:00 AH I (2350|028) (×13) | |||
| Algorithmic Learning Theory | Algorithmische Lerntheorie | Fach-/Modulprüfung | 6 | 541195 | ||
| Algorithmische Lerntheorie (Übung) | Übung | 557997 | Mi 10:30-11:30 Seminarraum i7, Raum 4116 (2353|116) (×1) Do 14:30-16:00 AH V (2356|050) (×1) Do 14:30-16:00 AH VI (2356|051) (×14) Do 15:00-16:00 AH VI (2356|051) (×1) | |||
| Algorithmische Lerntheorie | Vorlesung | 557996 | Di 08:30-10:00 AH II (2350|111) (×12) Mi 10:30-12:00 AH II (2350|111) (×10) | |||
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 9 | 541304 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 541246 | ||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 540923 | ||
| Linear Optimization and Network Algorithms | Prüfung Lineare Optimierung und Netzwerkalgorithmen | Fach-/Modulprüfung | 9 | 542589 | ||
| Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | 539296 | Mi 16:30-18:00 V (1010|213) (×15) Do 10:30-12:00 V (1010|213) (×15) | |||
| Lineare Optimierung und Netzwerkalgorithmen | Übung | 538933 | Mo 14:00-16:30 B201 (3011|201) (×1) Mo 16:30-18:00 V (1010|213) (×14) Di 14:30-16:00 V (1010|213) (×15) Do 10:30-12:30 B201 (3011|201) (×1) Do 12:30-14:00 Be 114 (1140|114) (×13) Do 12:30-14:00 SG 12 (1810|012) (×1) Fr 10:30-12:00 IV (1010|141) (×14) Fr 10:30-13:00 Phil (1070|113) (×1) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 543270 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 543271 | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 541301 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 544576 | ||
| Introduction to Model Checking | Übung | 536600 | Fr 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Introduction to Model Checking | Vorlesung | 537573 | Di 10:00-11:30 AH VI (2356|051) (×1) Mi 12:30-14:00 AH III (2350|314.1) (×10) Do 09:00-11:30 AH VI (2356|051) (×1) Do 10:30-12:00 AH I (2350|028) (×12) | |||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 541541 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 557995 | Mi 14:30-16:00 AH II (2350|111) (×11) Mi 14:30-16:00 AH IV (2354|030) (×1) | |||
| Komplexitätstheorie | Vorlesung | 557994 | Mi 08:30-10:00 AH III (2350|314.1) (×12) Do 16:30-18:00 AH II (2350|111) (×9) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 541500 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 537540 | Mo 09:15-13:30 Großer B-IT Raum (2356|053.2) (×1) Mi 08:30-10:00 AH IV (2354|030) (×13) Do 10:30-12:00 AH V (2356|050) (×13) Fr 12:30-13:15 5056 (2356|056) (×12) |